6 research outputs found

    Modeling and Simulation of Bio-pathways using Hybrid Functional Petri Nets

    Get PDF
    The study of biological systems is growing rapidly, and can be considered as an intrinsic task in biological research and a prerequisite for diagnosing diseases and drug development. The integration of biological studies with computer technologies led to a noticeable development in this field with the appearance of many powerful modeling and simulation techniques and tools. The help of computers in biology resulted in deeper knowledge about complex biological systems and biopathways behaviors. Among modeling tools, the Petri Net formalism plays an important role. Petri Net is a powerful computerized and graphical modeling technique originally developed by Carl Adam Petri in 1960 to model discrete event systems. With its various extensions, Petri Nets find applications in many other fields including Biology. The extension known under the name Hybrid Functional Petri Net (HFPN) was developed specifically to model biological systems. Traditionally, biological processes are captured as systems of ordinary differential equations. However, HFPNs offer a much more elegant and versatile approach to represent these processes more accurately. In fact, these nets allow to capture phenomena which are impossible to capture with ordinary differential equations, while being more intuitive to understand and model with. In this work we propose an approach to automatically translate a system of ordinary differential equations representing a biological process into a HFPN. The resulting HFPN not only preserves the semantics of the original model, but is also more humanly readable thanks to the use of a novel technique to connect its components in a smart way. To validate our approach, we implemented it as an extension to the tool Real Time Studio (an integrated environment for modeling, simulation and automatic verification of real-time systems), and compared our simulation results with those obtained by simulating systems of ordinary differential equations on MATLAB

    An automated approach to translate a biological process from ODEs into graphical hybrid functional Petri Nets

    No full text
    The study of biological systems is growing rapidly, and can be considered as an intrinsic task in biological research, and a prerequisite for diagnosing diseases and drug development. The integration of biological studies with computer technologies led to noticeable developments in biology with the appearance of many powerful modeling and simulation techniques and tools. The help of computers in biology resulted in deeper knowledge about complex biological systems and biopathways behaviors. Among modeling tools, the Petri Net formalism plays an important role. Petri Net is a powerful computerized and graphical modeling technique originally developed by Carl Adam Petri in 1960 to model discrete event systems. With its various extensions, Petri Nets find applications in many other fields including Biology. The extension known under the name Hybrid Functional Petri Net (HFPN) was developed specifically to model biological systems. Traditionally, biological processes are captured as systems of ordinary differential equations (ODEs). However, HFPNs offer a much more elegant and versatile approach to represent these processes more accurately. In fact, HFPNs allow to capture phenomena which are impossible to capture with ODES, while being more intuitive and easy to understand and model with. In this work we propose an approach to translate a system of ODEs representing a biological process into a HFPN. The resulting HFPN, not only preserves the semantics of the original model, but is also more humanly readable thanks to the use of a novel technique to connect its components in a smart way. To validate our approach, we implemented it as an extension to the tool Real Time Studio (an integrated environment for modeling, simulation and automatic verification of real-time systems), and compared our simulation results with those obtained by simulating systems of ODEs using MATLAB. 1 2017 IEEE.Scopu

    Deep learning with multiresolution handcrafted features for brain MRI segmentation

    Get PDF
    The segmentation of magnetic resonance (MR) images is a crucial task for creating pseudo computed tomography (CT) images which are used to achieve positron emission tomography (PET) attenuation correction. One of the main challenges of creating pseudo CT images is the difficulty to obtain an accurate segmentation of the bone tissue in brain MR images. Deep convolutional neural networks (CNNs) have been widely and efficiently applied to perform MR image segmentation. The aim of this work is to propose a segmentation approach that combines multiresolution handcrafted features with CNN-based features to add directional properties and enrich the set of features to perform segmentation. The main objective is to efficiently segment the brain into three tissue classes: bone, soft tissue, and air. The proposed method combines non subsampled Contourlet (NSCT) and non subsampled Shearlet (NSST) coefficients with CNN's features using different mechanisms. The entropy value is calculated to select the most useful coefficients and reduce the input's dimensionality. The segmentation results are evaluated using fifty clinical brain MR and CT images by calculating the precision, recall, dice similarity coefficient (DSC), and Jaccard similarity coefficient (JSC). The results are also compared to other methods reported in the literature. The DSC of the bone class is improved from 0.6179 ± 0.0006 to 0.6416 ± 0.0006. The addition of multiresolution features of NSCT and NSST with CNN's features demonstrates promising results. Moreover, NSST coefficients provide more useful information than NSCT coefficients

    Brain MR images segmentation using 3D CNN with features recalibration mechanism for segmented CT generation

    Get PDF
    The segmentation of MR (magnetic resonance) images is a simple approach to create Pseudo CT images which are useful for many medical imaging analysis applications. One of the main challenges of this process is the bone segmentation of brain MR images. Deep convolutional neural networks (CNNs) have been widely and efficiently applied to perform MR images segmentation. The aim of this work is to propose a novel excitation-based CNN by recalibrating the network features adaptively to enhance the bone segmentation by segmenting the brain MR images into three tissue classes: bone, soft tissue, and air. The proposed method combines two types of features excitation mechanisms namely: (1) spatial squeeze and channel excitation block (cSE) and (2) channel squeeze and spatial excitation block (sSE). The two blocks are combined sequentially and integrated seamlessly into a 3D convolutional encoder decoder network. The novelty of this work emerges in the combination of the two excitation blocks sequentially to improve the segmentation performance and reduce the model complexity. The proposed approach is evaluated through a comparison with computed tomography (CT) images as ground truth and validated with other methods in the literature that applied deep CNN approaches to perform MR image segmentation for PET attenuation correction. Brain MR and CT datasets which consist of 50 patients are used to evaluate the proposed method. The segmentation performance of the three brain classes is evaluated using precision, recall, dice similarity coefficient (DSC), and Jaccard index. The presented method improves the bone tissue segmentation compared to the baseline model and other methods in the literature where the DSC is improved from 0.6278 0.0006 to 0.6437 0.0006 with an improvement percentage of 2.53% for bone class. The proposed excitation-based segmentation network architecture demonstrates promising and competitive results compared with other methods in the literature and reduces the model complexity thanks to the sequential combination of the two excitation blocks

    MR Image-Based Attenuation Correction of Brain PET Imaging: Review of Literature on Machine Learning Approaches for Segmentation

    No full text
    Recent emerging hybrid technology of positron emission tomography/magnetic resonance (PET/MR) imaging has generated a great need for an accurate MR image-based PET attenuation correction. MR image segmentation, as a robust and simple method for PET attenuation correction, has been clinically adopted in commercial PET/MR scanners. The general approach in this method is to segment the MR image into different tissue types, each assigned an attenuation constant as in an X-ray CT image. Machine learning techniques such as clustering, classification and deep networks are extensively used for brain MR image segmentation. However, only limited work has been reported on using deep learning in brain PET attenuation correction. In addition, there is a lack of clinical evaluation of machine learning methods in this application. The aim of this review is to study the use of machine learning methods for MR image segmentation and its application in attenuation correction for PET brain imaging. Furthermore, challenges and future opportunities in MR image-based PET attenuation correction are discussed
    corecore